Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
381	Safety-critical Avionics Software Development RTCA DO-178B/C Software Development Solutions E NSCO Avionics Canada offers full life cycle capabilities for safety-critical Add to Reading List Source URL: www.ensco.com Language: English - Date: 2013-08-02 17:17:24 Electronics Safety Embedded systems Software requirements Formal methods ENSCO Inc. DO-178B Avionics software DO-254 Avionics Software development Technology
382	ModelicaML Value Bindings for Automated Model Composition Wladimir Schamai1, Peter Fritzson2, Christiaan J.J. Paredis3, and Philipp Helle4 EADS Innovation Works, Germany, {wladimir.schamai, philipp.helle}@eads.net 2 Depa Add to Reading List Source URL: www.openmodelica.org Language: English - Date: 2012-05-14 10:40:23 Systems engineering Formal methods Scientific modeling Methodology Modelica Object-oriented programming Model-based design Software development process Unified Modeling Language Science Software engineering Software development
383	Needle visualization with ZONARE ultrasound systems K90117A 03/13 This material provides a general overview of ultrasound guided needle imaging and techniques and is not intended to replace formal Add to Reading List Source URL: 115f4a2c61812d9065ae-ab8bea2ce55b9618d5a293b08a84fbcf.r23.cf1.rackcdn.com Language: English - Date: 2013-03-11 19:42:44 Acoustics Medical ultrasonography Nerve block Ultrasound Environmental scanning electron microscope Medicine Medical ultrasound Medical equipment
384	ADRIAN KIELICH, HEAD OF MOBEXT, GERMANY FROM BIG DATA TO SMART DATA This year, the Mobile World Congress expects more than 90,000 people, from more than 160 countries and international organizations. There are nearly 2, Add to Reading List Source URL: www.havasmedia.com Language: English Database management systems Internet privacy Data mining Big data Twitter Smart meter Technology Formal sciences Data management
385	Register your morning or afternoon Tea for 321…. 1. Choose a date during March and decide on your venue: at home, at school, at work, in a park, at a local café. It can be big or small, formal or as casual as you like Add to Reading List Source URL: dsawa.asn.au Language: English - Date: 2012-03-18 22:27:43 EBay Payment systems Email PayPal Tea Food and drink Technology Electronic commerce
386	Validation Workshop on GIFMIS Functional Requirements 21 May, 2013 Following the formal adoption of GIFMIS Conceptual Design by the PFM Committee in April 2013, a series of validation workshops with various PFM stakehold Add to Reading List Source URL: pfm.gov.ph Language: English - Date: 2013-12-16 01:05:24 Validity Software documentation Validation Requirement Technology Functional specification Functional requirement Brief Business Software requirements Systems engineering Pharmaceutical industry
387	Brussels Policy Briefing no.40 Data: the next revolution for agriculture in ACP countries http://brusselsbriefings.net GLOSSARY Add to Reading List Source URL: brusselsbriefings.files.wordpress.com Language: English - Date: 2015-02-17 11:20:55 Technology Database management systems Formal sciences Data analysis Database theory Big data Data mining Data visualization Cloud computing Computing Concurrent computing Data management
388	Microsoft PowerPoint - 3. Exchange Session 3.ppt [Compatibility Mode] Add to Reading List Source URL: ggim.un.org Language: English - Date: 2013-02-14 10:32:45 Formal sciences Cartography Business Science Geodesy Geospatial analysis Predictive analytics Analytics Spatial data infrastructure Business intelligence Geographic information systems Statistics
389	2740231735874HEIMS Quality Assurance Plan 00HEIMS Quality Assurance Plan -257175889635002771775308038500-25717531305500027432005175885Reducing your workload Add to Reading List Source URL: heimshelp.education.gov.au Language: English - Date: 2014-07-01 23:15:21 Systems engineering Validity Verification and validation Formal verification Applied mathematics Mathematics Science Food safety Pharmaceutical industry Quality management
390	SOLUTION BRIEF CONNECT WHAT’S AN OPERATIONAL DATA STORE? Add to Reading List Source URL: www.cloudera.com Language: English - Date: 2015-04-19 13:33:36 Data management Data warehousing Formal sciences Database management systems Operational data store Business intelligence Apache Hadoop Big data Extract transform load Technology Computing Information technology management

UPDATE